SETL is a high-level programming language developed in the late 1960s at New York University's Courant Institute, based on set theory. It features aggregate data types such as sets and tuples, and supports operations like union and intersection, along with quantified boolean expressions. Variants of SETL include SETL2 and ISETL, with influences on languages like Ada and Python's ABC.
set theory ✓
programming ✓
languages ✓